es{-}isconst(${\it es}$; $i$; $x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$((${\it es}$.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2).1)($i$,$x$)